A cartesian closed category for topology
نویسندگان
چکیده
منابع مشابه
A Cartesian Closed Category of Approximable Concept Structures
Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the t...
متن کاملA Cartesian Closed Extension of the Category of Locales
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves products and all exponentials of exponentiable locales.
متن کاملA Cartesian closed category of event structures with quotients
We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the compression of event structures as an example of quotient: the compression of an event structure E is a m...
متن کاملA cartesian closed category in Martin-Löf's intuitionistic type theory
First, we briefly recall the main definitions of the theory of Information Bases and Translations. These mathematical structures are the basis to construct the cartesian closed category InfBas, which is equivalent to the category ScDom of Scott Domains. Then, we will show that all the definitions and the proof of all the properties that one needs in order to show that InfBas is indeed a cartesi...
متن کاملThe Largest First-Order-Axiomatizable Cartesian Closed Category of Domains
The inspiration for this paper is a result proved by Michael Smyth which states that Gordon Plotkin's category SFP is the largest cartesian closed category of domains. Although this category is easily enough motivated from concepts in domain theory and category theory, it is clearly harder to describe and less \elementary" than the most popular categories of domains for denotational semantics. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: General Topology and its Applications
سال: 1976
ISSN: 0016-660X
DOI: 10.1016/0016-660x(76)90009-x